;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2021 Maxime Devos <maximedevos@telenet.be>
;;; Copyright © 2021 Timothy Sample <samplet@ngyro.com>
;;;   ^ definition of guile-quickcheck
;;;
;;; This file is part of GNU Guix.
;;;
;;; GNU Guix is free software; you can redistribute it and/or modify it
;;; under the terms of the GNU General Public License as published by
;;; the Free Software Foundation; either version 3 of the License, or (at
;;; your option) any later version.
;;;
;;; GNU Guix is distributed in the hope that it will be useful, but
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
;;; GNU General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License
;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.
;;;
;;;  SPDX-License-Identifier: GPL-3.0-or-later

(use-modules (gnu packages guile)
	     (gnu packages guile-xyz)
	     (gnu packages autotools)
	     (gnu packages gettext)
	     (gnu packages pkg-config)
	     (guix packages)
	     (guix download)
	     (guix build-system gnu)
	     ((guix licenses) #:prefix license:))

(define-public guile-quickcheck
  (package
    (name "guile-quickcheck")
    (version "0.1.0")
    (source (origin
              (method url-fetch)
              (uri (string-append "https://files.ngyro.com/"
                                  "guile-quickcheck/guile-quickcheck-"
                                  version ".tar.gz"))
              (sha256
               (base32
                "03mwi1l3354x52nar0zwhcm0x29yai9xjln4p4gbchwvx5dsr6fb"))))
    (build-system gnu-build-system)
    (native-inputs
     `(("pkg-config" ,pkg-config)
       ("guile" ,guile-3.0)))
    (inputs
     `(("guile" ,guile-3.0)))
    (home-page "https://ngyro.com/software/guile-quickcheck.html")
    (synopsis "Randomized property-based testing for Guile")
    (description "This Guile library provides tools for randomized,
property-based testing.  It follows closely the QuickCheck library
written in Haskell.  You can use it to define a property (a predicate
with specifications for its inputs) and test it by generating many
random inputs and seeing if it holds.")
    (license license:gpl3+)))

(define-public scheme-gnunet
  (package
   (name "scheme-gnunet")
   (version "0.0")
   (source #f)
   (build-system gnu-build-system)
   (propagated-inputs `(("guile-zlib" ,guile-zlib)
			("guile-bytestructures" ,guile-bytestructures)
			("guile-fibers" ,guile-fibers)
			("guile-json" ,guile-json-4)
			("guile-pfds" ,guile-pfds)))
   (native-inputs `(("guile" ,guile-3.0)
		    ("guile-pfds" ,guile-pfds)
		    ("automake" ,automake)
		    ;; Only used for testing.
		    ("guile-quickcheck" ,guile-quickcheck)
                    ;; Gettext brings 'AC_LIB_LINKFLAGS_FROM_LIBS'.
		    ("gettext" ,gettext-minimal)
		    ("pkg-config" ,pkg-config)
		    ("autoconf" ,autoconf-wrapper)))
   (inputs `(("guile" ,guile-3.0)))
   (synopsis "partial Scheme port of GNUnet")
   (license license:agpl3+)
   (description #f)
   (home-page #f)))
scheme-gnunet
